Aristoteles ( -384 - -322 )
Bertrand Russell ( 1872-1970 )
Kurt Gödel ( 1906 - 1978 )
Logik
|
|
|
Aristoteles ( -384 - -322 ) |
Bertrand Russell ( 1872-1970 ) |
Kurt Gödel ( 1906 - 1978 ) |
| Hilberts Program |
| Bevistyper pdf-note |